Abstract data types as reusable software components: the case for twin ADTs
نویسندگان
چکیده
data types as reusable software components: the case for twin ADTS by K. Sikkel and J.C. van Wet Abstract data types (ADTs) are typical candidates for reusable software components. An important, although generally undecidable, question is how to design ADTs so as to make them truly reusable. In this paper, we present an elaborate example, showing that the most abstract ADT is not necessarily the most reusable one. Instead, we felt the need to supply ADTs reflecting alternative representations of one abstract notion. This leads to some general observations about the usability aspects of software components.data types (ADTs) are typical candidates for reusable software components. An important, although generally undecidable, question is how to design ADTs so as to make them truly reusable. In this paper, we present an elaborate example, showing that the most abstract ADT is not necessarily the most reusable one. Instead, we felt the need to supply ADTs reflecting alternative representations of one abstract notion. This leads to some general observations about the usability aspects of software components.
منابع مشابه
Validation of Results in Testing Abstract Data Types: a Method for Automation*
The role of reusable, abstract data types (ADTs) in improving software quality has been widely recognized, and much attention has focused on certifying the correctness of implementations of ADTs, using formal testing methods. A major problem with manual testing techniques has been over-reliance on the tester’s ability to interpret correctly and to validate test results. This problem can be part...
متن کاملThe combinatorics of some abstract data types
Abstract data types (ADTs) may be regarded as abstract machines and then a program for an ADT is any sequence of operations allowed by its specification. The effect of such programs on container ADTs is captured by the relationship between each input sequence and the set of possible output sequences that can result from it. This relationship is studied principally in the case of dictionaries, s...
متن کاملThe Formal Design Models of a Set of Abstract Data Types
Type theories are fundamental for underpinning data object modeling and system architectural design in computing and software engineering. Abstract Data Types (ADTs) are a set of highly generic and rigorously modeled data structures in type theory. ADTs also play a key role in Object-Oriented (OO) technologies for software system design and implementation. This paper presents a formal modeling ...
متن کاملThe Formal Design Models of a Set of Abstract Data Types (ADTs)
Type theories are fundamental for underpinning data object modeling and system architectural design in computing and software engineering. Abstract Data Types (ADTs) are a set of highly generic and rigorously modeled data structures in type theory. ADTs also play a key role in Object-Oriented (OO) technologies for software system design and implementation. This paper presents a formal modeling ...
متن کاملA Metric-based Approach to Detect Abstract Data Types and State Encapsulations
This article presents an approach to identify abstract data types (ADT) and abstract state encapsulations (ASE, also called abstract objects) in source code. This approach groups together functions, types, and variables into ADT and ASE candidates according to the proportion of features they share. The set of features considered includes the context of these elements, the relationships to their...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Software Engineering Journal
دوره 7 شماره
صفحات -
تاریخ انتشار 1992